tautological implication

un. 〔邏〕重言蘊涵